Add harnesses for safety of primitive conversions #233
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
ShoyuVanilla
force-pushed
the
challenge-14
branch
5 times, most recently
from
140887c to
26512c1
Compare
ShoyuVanilla
force-pushed
the
challenge-14
branch
from
ad404e0 to
b33a833
Compare
ShoyuVanilla
force-pushed
the
challenge-14
branch
5 times, most recently
from
5ebcf38 to
8ebf05f
Compare
tautschnig
reviewed
Jan 8, 2025
ShoyuVanilla
force-pushed
the
challenge-14
branch
3 times, most recently
from
6efe1d0 to
226ae4c
Compare
|
Hi @ShoyuVanilla -- is this ready for re-review? (And if so, can you request re-review from @tautschnig and I?) |
ShoyuVanilla
force-pushed
the
challenge-14
branch
from
226ae4c to
3ddcdbb
Compare
carolynzech
assigned thanhnguyen-aws, carolynzech and tautschnig and unassigned ShoyuVanilla
carolynzech
reviewed
Feb 10, 2025
ShoyuVanilla
force-pushed
the
challenge-14
branch
from
24ccdf1 to
3f962e4
Compare
ShoyuVanilla
force-pushed
the
challenge-14
branch
from
3f962e4 to
b8bd58b
Compare
tautschnig
approved these changes
Feb 11, 2025
Merged
via the queue into
model-checking:main
with commit Feb 11, 2025
ff0b5bf
15 of 16 checks passed
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Towards #220
By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 and MIT licenses.